长波和微波的混合组合导航定位是当前导航系统发展的一个重要方向，但是由于长波距离计算的复杂性，目前还没有有效的定位模型进行计算......

使用体系结构分析和设计语言AADL（ Architecture Analysis and Design Language ）对月球车导航系统进行分析与建模，把整个导航系统合......